Security Engineering for Ambient Intelligence

The scenarios of Ambient Intelligence introduce a new computing paradigm and set new challenges for the design and engineering of secure and dependable systems. This chapter describes SERENITY, a comprehensive approach to overcome those problems. The key to success in this scenario is to capture security expertise in such a way that it can be supported by automated means. SERENITY’s integral model of S&D considers both static and dynamic aspects by relying in two main innovations: (i) the enhanced notion of S&D Patterns and Integration Schemes; and (ii) the computer aided run-time monitoring of the implemented security solutions. The combination of these innovations lays the foundations of an integrated, solid, flexible and practical S&D framework for AmI ecosystems. The chapter aims at clarifying the challenges introduced in AmI ecosystems and pointing out directions for research in the different areas involved.